The modal logic of forcing

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Modal Logic of Forcing

A set theoretical assertion ψ is forceable or possible, written ♦ψ, if ψ holds in some forcing extension, and necessary, written ψ, if ψ holds in all forcing extensions. In this forcing interpretation of modal logic, we establish that if ZFC is consistent, then the ZFC-provable principles of forcing are exactly those in the modal theory S4.2.

متن کامل

Structural Connections between a Forcing Class and Its Modal Logic

Every definable forcing class Γ gives rise to a corresponding forcing modality, for which Γ φ means that φ is true in all Γ extensions, and the valid principles of Γ forcing are the modal assertions that are valid for this forcing interpretation. For example, [9] shows that if ZFC is consistent, then the ZFC-provably valid principles of the class of all forcing are precisely the assertions of t...

متن کامل

The true modal logic

For Arthur Prior, the construction of a logic was a supremely philosophical task. As a logician, he could of course appreciate a finely crafted formal system for its own sake, independent of its " meaning " or philosophical significance. But a genuine logic-a good one, at least-lays bare the nature of those concepts that it purports to be a logic of: and this comes only by way of deep rellec-ti...

متن کامل

The Modal Logic of Inequality

We consider some modal languages with a modal operator D whose semantics is based on the relation of inequality. Basic logical properties such as definability, expressive power and completeness are studied. Also, some connections with a number of other recent proposals to extend the standard modal language are pointed at. ?

متن کامل

The modal logic of agency

In this paper I discuss and develop suggestions concerning how to use systems of modal logic to analyse notions pertaining to agency. In the first part I deal with the accounts of Pörn, Brown, and Belnap, thus motivating the search for a more finegrained framework. The first step in the development of such a framework is the adoption of a rich semantical structure inspired by Gerd Sommerhoff’s ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Transactions of the American Mathematical Society

سال: 2007

ISSN: 0002-9947

DOI: 10.1090/s0002-9947-07-04297-3